Back صحة (منطق) Arabic Solidesa Catalan ساغی (لۆژیک) CKB Korrektheit (Logik) German Soundness English Solidez Spanish درستی (منطق) Persian נאותות HE Rétt röksemdafærsla Icelandic Correttezza (logica matematica) Italian
Cet article est une ébauche concernant la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Consultez la liste des tâches à accomplir en page de discussion.
En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies[1].
En logique formelle, un système logique est correct si on peut lui associer une sémantique (on dit aussi un modèle) qui le justifie. La correction indique donc que les règles d’un tel système mettent en œuvre des raisonnements qui font du sens, puisqu'on peut les interpréter[2].
-
(en) « Validity and Soundness », sur Internet Encyclopedia of Philosophy
Traduction de « A deductive argument is sound if and only if it is both valid, and all of its premises are actually true. »
- Exemples d’usage du terme :
- Bruno Marchal, Calculabilité, Physique et Cognition (lire en ligne), « Théories et démonstrations »
- Olivier Pirson, Abrégé de Logiques Classiques (lire en ligne)